equivalence of boolean functions